A Methodology for Variable Structure System Specification: Formalism, Framework, and Its Application to ATM-Based Network System
نویسندگان
چکیده
منابع مشابه
A Methodology for Variable Structure System Specification: Formalism, Framework, and Its Application to ATM-Based Network System
Executor Passive Model CompositeVSSS CompositeExecutor CompositeVSSS Model AtomicVSSS AtomicExecutor AtomicVSSS Model Fig. 3. Operational diagrams for abstract executors: CompositeExecutor and AtomicExecutor. transition functions and mapping functions. When the CompositeExecutor receives an inETRI Journal, volume 18, number 4, January 1997 Kyou H. Lee et al. 253 Fig. 4. Operational diagrams for...
متن کاملA Multi-Formalism Approach For System Specification
This paper deals with embedded systems modelling, mixed hardware/software codesign, and more generally structured codesign methodology for avionics systems. This methodology is based on two main concepts: multi-formalism specifications and a unified system model. The multi-formalism concept allows to combine partial specifications expressed in various formalisms. As a matter of fact, an embedde...
متن کاملNSDF: a computer network system description framework and its application to network security
In this work a general framework, termed NSDF, for describing network systems is proposed. Basic elements of this scheme are entities and the relationships established between them. Both entities and relationships are the basis underlying the concept of system state. The dynamics of a network system can be conceived of as a trajectory in the state space. The term action is used to describe ever...
متن کاملa new type-ii fuzzy logic based controller for non-linear dynamical systems with application to 3-psp parallel robot
abstract type-ii fuzzy logic has shown its superiority over traditional fuzzy logic when dealing with uncertainty. type-ii fuzzy logic controllers are however newer and more promising approaches that have been recently applied to various fields due to their significant contribution especially when the noise (as an important instance of uncertainty) emerges. during the design of type- i fuz...
15 صفحه اولconstruction and validation of translation metacognitive strategy questionnaire and its application to translation quality
like any other learning activity, translation is a problem solving activity which involves executing parallel cognitive processes. the ability to think about these higher processes, plan, organize, monitor and evaluate the most influential executive cognitive processes is what flavell (1975) called “metacognition” which encompasses raising awareness of mental processes as well as using effectiv...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ETRI Journal
سال: 1997
ISSN: 1225-6463
DOI: 10.4218/etrij.97.0197.0043